(struct face_cache): Add member

menu_face_changed_p.

diff --git a/src/dispextern.h b/src/dispextern.h
index 6cd033745d481e0e58b29d87577e87eb4133c519..d3f024e81c9ab9da382861e6ec6e1ef5dadbd44c 100644 (file)
--- a/src/dispextern.h
+++ b/src/dispextern.h
@@ -1375,6 +1375,10 @@ struct face_cache
 
   /* The allocated size, and number of used slots of faces_by_id.  */
   int size, used;
+
+  /* Flag indicating that attributes of the `menu' face have been
+     changed.  */
+  unsigned menu_face_changed_p : 1;
 };